@echo off

echo ====== eigen ======

pushd third_party\src\eigen

xcopy Eigen %INCLUDE_ROOT_DIR%\eigen\ /Y /E

GOTO DONE

:ERROR
SET EL=%ERRORLEVEL%
echo ====== ERROR tbb ======

:DONE

popd 